<?php

namespace Design\Structural\Facade;

interface OperatingSystem
{


    public function halt();


    public function getName(): string;


}//end interface
